Merge pull request #1403 from glneo/for-upstream-k3
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 20 Jun 2018 15:37:01 +0000 (16:37 +0100)
committerGitHub <noreply@github.com>
Wed, 20 Jun 2018 15:37:01 +0000 (16:37 +0100)
TI K3 platform support


Trivial merge